Specifying the PLAN Network Programming Langauge
نویسندگان
چکیده
منابع مشابه
Specifying the PLAN Network Programming Langauge
We discuss how the speciication of the PLAN programming language supports the design objectives of the language. The speciication aims to provide a mathematically precise operational semantics that can serve as a standard for implementing interpreters and portable programs. The semantics should also support proofs of key properties of PLAN that would hold of all conformant implementations. This...
متن کاملHoots99 Preliminary Version Specifying the Plan Network Programming Langauge
We discuss how the speciication of the PLAN programming language supports the design objectives of the language. The speciication aims to provide a mathematically precise operational semantics that can serve as a standard for implementing interpreters and portable programs. The semantics should also support proofs of key properties of PLAN that would hold of all conformant implementations. This...
متن کاملNetwork Programming Langauge
We discuss how the speci cation of the PLAN programming language supports the design objectives of the language. The speci cation aims to provide a mathematically precise operational semantics that can serve as a standard for implementing interpreters and portable programs. The semantics should also support proofs of key properties of PLAN that would hold of all conformant implementations. This...
متن کاملPlan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative functional programming in an elegant way that allows for recursive, remote function calls, and it provides a clear mechanism for the interaction between host and mobile code. Techniques for specifying and reasoning about su...
متن کاملNetwork Programming Using PLAN
We present here a methodology for programming active networks in the environment de ned by our new language PLAN (Packet Language for Active Networks). This environment presumes a two-level architecture consisting of: 1. active packets carrying PLAN code; and 2. downloadable, node-resident services written in more general-purpose languages. We present several examples which illustrate how these...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1999
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80285-3